On optimality of one‐bug‐look‐ahead policies for a software testing model

The optimality of the One‐Bug‐Look‐Ahead (OLA) software release policy proposed by Morali and Soyer ( 15 ) is re‐examined in this paper. A counterexample is constructed to show that OLA is not optimal in general. The optimal stopping approach is then called upon to prove that OLA possesses weaker sense of optimality under conditional monotonicity and the strong sense of optimality holds under a more restrictive sample‐wise monotonicity condition. The NTDS data are analyzed for illustration, and OLA is shown to be robust with respect to model parameters. © 2007 Wiley Periodicals, Inc. Naval Research Logistics, 2007.     

航测平台监测系统的开发应用研究

航测平台监测系统是在航测平台系统的调试开发过程中,根据工程的实际需要开发完成的.系统具有硬件实现简单、软件灵活、独立性强、易于扩展等特点.对该系统的组成、设计实现方法做了详细的介绍,对系统进一步的研究进行了探讨,并对系统开发应用中的特点进行了分析.通过实际应用,证明该系统具有一定的工程应用和研究意义.     

工控软件InTouch在模拟器研制中的应用

对工控软件InTouch的特点、开发环境和应用方法进行了简要介绍,提出了一种以InTouch为主体,结合其它应用软件的硬件--服务器--客户机模拟器开发模式,根据这种模式研制出了一套舰艇电站模拟器.使用结果表明,这种基于InTouch的模拟器是十分成功的.     

火控系统软件加密方法初探

根据实际工作的需要,提出了对火控软件加密的方法,该方法对载体为ＲＯＭ 的其它应用程序的加密也有一定的价值     

956/SSR平显软件及多目标显示

ＳＳＲ 雷达是英国ＧＥＣ公司在９０ 年代为歼七飞机研制的重要机载设备,目的在于实现歼七飞机的多目标探测和增强火控功能。与其交联的９５６ 平显则是英国ＧＥＣ公司７０ 年代产品。解决平显与雷达接口软件设计、实现雷达信号在９５６ 平显上的综合显示,成为提高某型外贸机的效费比和实现出口的关键。根据工程实践,介绍了接口软件设计的主要思路、平显画面多目标显示及平显软件设计的基本流程,供平显火控系统升级参考     

基于软件构件技术的信息系统开发

对于基于软件构件技术的信息系统开发,通过分析信息系统的特点,提出了信息系统对象模型和信息系统中软件构件的构架方法。并据此提出了建立信息系统的四层次结构模型。在此基础上设计和实现了院办公室信息系统。     

战车火控系统软件可靠性的仿真测试平台

以平均无故障时间间隔(MTBF)和任务成功率为主指标,以某型坦克火控系统为载体,提出了战车非制导武器火控系统软件可靠性仿真测试平台的方案,并对其软件可靠性的仿真测试与验证技术进行了讨论.     

火控系统软件的一种测试方法

基于火控系统的“黑箱”特征,提出了一种软件测试模型,并由此建立了有关的评价方去。从而可为火控系统软件测试的定量评价提供依据。     

C~3l系统软件质量保障技术研究

针对C~3I 软件系统设计实现中所存在的问题,文章重点对软件质量保障方法进行了分析研究,同时提出一种简化任务评审阶段的软件质量综合保障建议。对从事C~3I 系统工程软件质量保障的人员可供参考。     

飞行控制软件导航仿真模型遥测数据注入仿真

研究了飞行控制软件导航仿真模型遥测数据注入仿真中的一些问题,构造了遥测数据输入序列的误差补偿算法,重建相应的输入序列,使得将它们注入到相应的数字仿真模型进行仿真时,得到的输出与飞行试验中弹上计算机发送的遥测数据相符。